derivative of a constant